Gerard J. Holzmann - PDFSEARCH.IO - Document Search Engine

Gerard J. Holzmann
Results: 31

#	Item
21	NASA developer secures way to the stars - SD Times On The Web Page 1 of 3 As of May 01, :55 AM Add to Reading List Source URL: spinroot.com Language: English - Date: 2009-05-08 19:16:21 Mars Exploration Rover Gerard J. Holzmann NASA personnel Unmanned spacecraft Holzmann Software bug Mars Science Laboratory SPIN model checker Jet Propulsion Laboratory Spaceflight Space technology Spacecraft
22	National Aeronautics and Space Administration NASA FORMAL METHODS Symposium Add to Reading List Source URL: lars-lab.jpl.nasa.gov Language: English - Date: 2010-10-15 12:52:56 Technology NASA personnel Alcatel-Lucent Gerard J. Holzmann
23	IMG_0232 Credit: Photo ¬© 2009 Gerard J. Holzmann Add to Reading List Source URL: pasadenaartscouncil.axsfestival.org Language: English - Date: 2012-06-22 20:24:56 Southern California Pasadena Texas Franz Schubert Schubertiade Pasadena Society of Artists Art Center Geography of California Music Pasadena California
24	UNO: Static Source Code Checking for User-Defined Properties 1 Gerard J. Holzmann Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT Add to Reading List Source URL: www.spinroot.com Language: English - Date: 2008-06-30 15:34:28 Data types Cross-platform software Procedural programming languages Type theory Pointer Main function C Static single assignment form Dataflow Software engineering Computing Computer programming
25	National Aeronautics and Space Administration s p i n off N ASA T e c h n o l o g i e s B e n e f i t S o c i e t y 2011 Add to Reading List Source URL: www.grammatech.com Language: English - Date: 2014-11-26 00:46:21 Unmanned spacecraft GrammaTech Gerard J. Holzmann Mars Science Laboratory Reliability engineering Mars Global Surveyor Software development Spaceflight Spacecraft Space technology
26	The Power of Ten – Rules for Developing Safety Critical Code1 Gerard J. Holzmann NASA/JPL Laboratory for Reliable Software Pasadena, CA[removed]Most serious software development projects use coding guidelines. These guid Add to Reading List Source URL: pixelscommander.com Language: English - Date: 2014-12-25 18:52:44 Data types Source code Type theory C++ Cross-platform software Assertion C Pointer Type system Computer programming Computing Software engineering
27	SCRUB: a tool for code reviews Gerard J. Holzmann Laboratory for Reliable Software, Jet Propulsion Laboratory / California Institute of Technology, Pasadena, CA 91109, USA phone: [removed]fax: [removed] Add to Reading List Source URL: spinroot.com Language: English - Date: 2010-12-24 14:19:15 Source code Software review Peer review Academic literature Scientific method Code review Coding conventions Comment Source lines of code Computer programming Software engineering Computing
28	Reliable Software Systems Design Gerard J. Holzmann Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA Abstract The grand challenge that is the focus of this conference targets the development of a Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-04-11 09:01:54 Materials science Reliability engineering Survival analysis Elevator Systems science Parachute Fuse Engineering Software quality Design for X Systems engineering
29	SOFTWARE TECHNOLOGIES The Power of 10: Rules for Developing SafetyCritical Code Gerard J. Holzmann Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Source code Data types Procedural programming languages C programming language C Assertion Pointer Recursion Subroutine Computer programming Computing Software engineering
30	Agile Verification Gerard J. Holzmann [removed] how we design & test software today Add to Reading List Source URL: www.kiss.caltech.edu Language: English - Date: 2012-08-03 13:15:57 Formal methods Software engineering Software testing Model checking Postcondition Software development process Requirement Model-based testing Theoretical computer science Software development Logic in computer science